candidate elimination algorithm